Integrand size = 24, antiderivative size = 188 \[ \int (c+d x)^{-4-m} (e+f x)^m (g+h x) \, dx=-\frac {(d g-c h) (c+d x)^{-3-m} (e+f x)^{1+m}}{d (d e-c f) (3+m)}+\frac {(c f h (1+m)+d (2 f g-e h (3+m))) (c+d x)^{-2-m} (e+f x)^{1+m}}{d (d e-c f)^2 (2+m) (3+m)}-\frac {f (c f h (1+m)+d (2 f g-e h (3+m))) (c+d x)^{-1-m} (e+f x)^{1+m}}{d (d e-c f)^3 (1+m) (2+m) (3+m)} \]
[Out]
Time = 0.07 (sec) , antiderivative size = 186, normalized size of antiderivative = 0.99, number of steps used = 3, number of rules used = 3, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.125, Rules used = {80, 47, 37} \[ \int (c+d x)^{-4-m} (e+f x)^m (g+h x) \, dx=-\frac {(d g-c h) (c+d x)^{-m-3} (e+f x)^{m+1}}{d (m+3) (d e-c f)}+\frac {(c+d x)^{-m-2} (e+f x)^{m+1} (c f h (m+1)-d e h (m+3)+2 d f g)}{d (m+2) (m+3) (d e-c f)^2}-\frac {f (c+d x)^{-m-1} (e+f x)^{m+1} (c f h (m+1)-d e h (m+3)+2 d f g)}{d (m+1) (m+2) (m+3) (d e-c f)^3} \]
[In]
[Out]
Rule 37
Rule 47
Rule 80
Rubi steps \begin{align*} \text {integral}& = -\frac {(d g-c h) (c+d x)^{-3-m} (e+f x)^{1+m}}{d (d e-c f) (3+m)}-\frac {(2 d f g+c f h (1+m)-d e h (3+m)) \int (c+d x)^{-3-m} (e+f x)^m \, dx}{d (d e-c f) (3+m)} \\ & = -\frac {(d g-c h) (c+d x)^{-3-m} (e+f x)^{1+m}}{d (d e-c f) (3+m)}+\frac {(2 d f g+c f h (1+m)-d e h (3+m)) (c+d x)^{-2-m} (e+f x)^{1+m}}{d (d e-c f)^2 (2+m) (3+m)}+\frac {(f (2 d f g+c f h (1+m)-d e h (3+m))) \int (c+d x)^{-2-m} (e+f x)^m \, dx}{d (d e-c f)^2 (2+m) (3+m)} \\ & = -\frac {(d g-c h) (c+d x)^{-3-m} (e+f x)^{1+m}}{d (d e-c f) (3+m)}+\frac {(2 d f g+c f h (1+m)-d e h (3+m)) (c+d x)^{-2-m} (e+f x)^{1+m}}{d (d e-c f)^2 (2+m) (3+m)}-\frac {f (2 d f g+c f h (1+m)-d e h (3+m)) (c+d x)^{-1-m} (e+f x)^{1+m}}{d (d e-c f)^3 (1+m) (2+m) (3+m)} \\ \end{align*}
Time = 0.13 (sec) , antiderivative size = 181, normalized size of antiderivative = 0.96 \[ \int (c+d x)^{-4-m} (e+f x)^m (g+h x) \, dx=\frac {(d g-c h) (c+d x)^{-3-m} (e+f x)^{1+m}}{d (d e-c f) (-3-m)}-\frac {(-2 d f g-h (d e (-3-m)+c f (1+m))) \left (\frac {(c+d x)^{-2-m} (e+f x)^{1+m}}{(d e-c f) (-2-m)}+\frac {f (c+d x)^{-1-m} (e+f x)^{1+m}}{(d e-c f)^2 (-2-m) (-1-m)}\right )}{d (d e-c f) (-3-m)} \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. \(508\) vs. \(2(188)=376\).
Time = 1.92 (sec) , antiderivative size = 509, normalized size of antiderivative = 2.71
method | result | size |
gosper | \(-\frac {\left (d x +c \right )^{-3-m} \left (f x +e \right )^{1+m} \left (-c^{2} f^{2} h \,m^{2} x +2 c d e f h \,m^{2} x -c d \,f^{2} h m \,x^{2}-d^{2} e^{2} h \,m^{2} x +d^{2} e f h m \,x^{2}-c^{2} f^{2} g \,m^{2}-4 c^{2} f^{2} h m x +2 c d e f g \,m^{2}+8 c d e f h m x -2 c d \,f^{2} g m x -c d \,f^{2} h \,x^{2}-d^{2} e^{2} g \,m^{2}-4 d^{2} e^{2} h m x +2 d^{2} e f g m x +3 d^{2} e f h \,x^{2}-2 d^{2} f^{2} g \,x^{2}+c^{2} e f h m -5 c^{2} f^{2} g m -3 c^{2} f^{2} h x -c d \,e^{2} h m +8 c d e f g m +10 c d e f h x -6 c d \,f^{2} g x -3 d^{2} e^{2} g m -3 d^{2} e^{2} h x +2 d^{2} e f g x +3 c^{2} e f h -6 c^{2} f^{2} g -c d \,e^{2} h +6 c d e f g -2 d^{2} e^{2} g \right )}{c^{3} f^{3} m^{3}-3 c^{2} d e \,f^{2} m^{3}+3 c \,d^{2} e^{2} f \,m^{3}-d^{3} e^{3} m^{3}+6 c^{3} f^{3} m^{2}-18 c^{2} d e \,f^{2} m^{2}+18 c \,d^{2} e^{2} f \,m^{2}-6 d^{3} e^{3} m^{2}+11 c^{3} f^{3} m -33 c^{2} d e \,f^{2} m +33 c \,d^{2} e^{2} f m -11 d^{3} e^{3} m +6 c^{3} f^{3}-18 c^{2} d e \,f^{2}+18 c \,d^{2} e^{2} f -6 d^{3} e^{3}}\) | \(509\) |
parallelrisch | \(\text {Expression too large to display}\) | \(2394\) |
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 905 vs. \(2 (188) = 376\).
Time = 0.27 (sec) , antiderivative size = 905, normalized size of antiderivative = 4.81 \[ \int (c+d x)^{-4-m} (e+f x)^m (g+h x) \, dx=-\frac {{\left ({\left (2 \, d^{3} f^{3} g - {\left (d^{3} e f^{2} - c d^{2} f^{3}\right )} h m - {\left (3 \, d^{3} e f^{2} - c d^{2} f^{3}\right )} h\right )} x^{4} + {\left (c d^{2} e^{3} - 2 \, c^{2} d e^{2} f + c^{3} e f^{2}\right )} g m^{2} + {\left (8 \, c d^{2} f^{3} g + {\left (d^{3} e^{2} f - 2 \, c d^{2} e f^{2} + c^{2} d f^{3}\right )} h m^{2} - 4 \, {\left (3 \, c d^{2} e f^{2} - c^{2} d f^{3}\right )} h - {\left (2 \, {\left (d^{3} e f^{2} - c d^{2} f^{3}\right )} g - {\left (3 \, d^{3} e^{2} f - 8 \, c d^{2} e f^{2} + 5 \, c^{2} d f^{3}\right )} h\right )} m\right )} x^{3} + {\left (12 \, c^{2} d f^{3} g + {\left ({\left (d^{3} e^{2} f - 2 \, c d^{2} e f^{2} + c^{2} d f^{3}\right )} g + {\left (d^{3} e^{3} - c d^{2} e^{2} f - c^{2} d e f^{2} + c^{3} f^{3}\right )} h\right )} m^{2} + 3 \, {\left (d^{3} e^{3} - 3 \, c d^{2} e^{2} f - 3 \, c^{2} d e f^{2} + c^{3} f^{3}\right )} h + {\left ({\left (d^{3} e^{2} f - 8 \, c d^{2} e f^{2} + 7 \, c^{2} d f^{3}\right )} g + 4 \, {\left (d^{3} e^{3} - c d^{2} e^{2} f - c^{2} d e f^{2} + c^{3} f^{3}\right )} h\right )} m\right )} x^{2} + 2 \, {\left (c d^{2} e^{3} - 3 \, c^{2} d e^{2} f + 3 \, c^{3} e f^{2}\right )} g + {\left (c^{2} d e^{3} - 3 \, c^{3} e^{2} f\right )} h + {\left ({\left (3 \, c d^{2} e^{3} - 8 \, c^{2} d e^{2} f + 5 \, c^{3} e f^{2}\right )} g + {\left (c^{2} d e^{3} - c^{3} e^{2} f\right )} h\right )} m + {\left ({\left ({\left (d^{3} e^{3} - c d^{2} e^{2} f - c^{2} d e f^{2} + c^{3} f^{3}\right )} g + {\left (c d^{2} e^{3} - 2 \, c^{2} d e^{2} f + c^{3} e f^{2}\right )} h\right )} m^{2} + 2 \, {\left (d^{3} e^{3} - 3 \, c d^{2} e^{2} f + 3 \, c^{2} d e f^{2} + 3 \, c^{3} f^{3}\right )} g + 4 \, {\left (c d^{2} e^{3} - 3 \, c^{2} d e^{2} f\right )} h + {\left ({\left (3 \, d^{3} e^{3} - 7 \, c d^{2} e^{2} f - c^{2} d e f^{2} + 5 \, c^{3} f^{3}\right )} g + {\left (5 \, c d^{2} e^{3} - 8 \, c^{2} d e^{2} f + 3 \, c^{3} e f^{2}\right )} h\right )} m\right )} x\right )} {\left (d x + c\right )}^{-m - 4} {\left (f x + e\right )}^{m}}{6 \, d^{3} e^{3} - 18 \, c d^{2} e^{2} f + 18 \, c^{2} d e f^{2} - 6 \, c^{3} f^{3} + {\left (d^{3} e^{3} - 3 \, c d^{2} e^{2} f + 3 \, c^{2} d e f^{2} - c^{3} f^{3}\right )} m^{3} + 6 \, {\left (d^{3} e^{3} - 3 \, c d^{2} e^{2} f + 3 \, c^{2} d e f^{2} - c^{3} f^{3}\right )} m^{2} + 11 \, {\left (d^{3} e^{3} - 3 \, c d^{2} e^{2} f + 3 \, c^{2} d e f^{2} - c^{3} f^{3}\right )} m} \]
[In]
[Out]
Exception generated. \[ \int (c+d x)^{-4-m} (e+f x)^m (g+h x) \, dx=\text {Exception raised: HeuristicGCDFailed} \]
[In]
[Out]
\[ \int (c+d x)^{-4-m} (e+f x)^m (g+h x) \, dx=\int { {\left (h x + g\right )} {\left (d x + c\right )}^{-m - 4} {\left (f x + e\right )}^{m} \,d x } \]
[In]
[Out]
\[ \int (c+d x)^{-4-m} (e+f x)^m (g+h x) \, dx=\int { {\left (h x + g\right )} {\left (d x + c\right )}^{-m - 4} {\left (f x + e\right )}^{m} \,d x } \]
[In]
[Out]
Time = 3.67 (sec) , antiderivative size = 869, normalized size of antiderivative = 4.62 \[ \int (c+d x)^{-4-m} (e+f x)^m (g+h x) \, dx=\frac {x^2\,{\left (e+f\,x\right )}^m\,\left (h\,c^3\,f^3\,m^2+4\,h\,c^3\,f^3\,m+3\,h\,c^3\,f^3-h\,c^2\,d\,e\,f^2\,m^2-4\,h\,c^2\,d\,e\,f^2\,m-9\,h\,c^2\,d\,e\,f^2+g\,c^2\,d\,f^3\,m^2+7\,g\,c^2\,d\,f^3\,m+12\,g\,c^2\,d\,f^3-h\,c\,d^2\,e^2\,f\,m^2-4\,h\,c\,d^2\,e^2\,f\,m-9\,h\,c\,d^2\,e^2\,f-2\,g\,c\,d^2\,e\,f^2\,m^2-8\,g\,c\,d^2\,e\,f^2\,m+h\,d^3\,e^3\,m^2+4\,h\,d^3\,e^3\,m+3\,h\,d^3\,e^3+g\,d^3\,e^2\,f\,m^2+g\,d^3\,e^2\,f\,m\right )}{{\left (c\,f-d\,e\right )}^3\,{\left (c+d\,x\right )}^{m+4}\,\left (m^3+6\,m^2+11\,m+6\right )}+\frac {x\,{\left (e+f\,x\right )}^m\,\left (h\,c^3\,e\,f^2\,m^2+3\,h\,c^3\,e\,f^2\,m+g\,c^3\,f^3\,m^2+5\,g\,c^3\,f^3\,m+6\,g\,c^3\,f^3-2\,h\,c^2\,d\,e^2\,f\,m^2-8\,h\,c^2\,d\,e^2\,f\,m-12\,h\,c^2\,d\,e^2\,f-g\,c^2\,d\,e\,f^2\,m^2-g\,c^2\,d\,e\,f^2\,m+6\,g\,c^2\,d\,e\,f^2+h\,c\,d^2\,e^3\,m^2+5\,h\,c\,d^2\,e^3\,m+4\,h\,c\,d^2\,e^3-g\,c\,d^2\,e^2\,f\,m^2-7\,g\,c\,d^2\,e^2\,f\,m-6\,g\,c\,d^2\,e^2\,f+g\,d^3\,e^3\,m^2+3\,g\,d^3\,e^3\,m+2\,g\,d^3\,e^3\right )}{{\left (c\,f-d\,e\right )}^3\,{\left (c+d\,x\right )}^{m+4}\,\left (m^3+6\,m^2+11\,m+6\right )}+\frac {c\,e\,{\left (e+f\,x\right )}^m\,\left (-h\,c^2\,e\,f\,m-3\,h\,c^2\,e\,f+g\,c^2\,f^2\,m^2+5\,g\,c^2\,f^2\,m+6\,g\,c^2\,f^2+h\,c\,d\,e^2\,m+h\,c\,d\,e^2-2\,g\,c\,d\,e\,f\,m^2-8\,g\,c\,d\,e\,f\,m-6\,g\,c\,d\,e\,f+g\,d^2\,e^2\,m^2+3\,g\,d^2\,e^2\,m+2\,g\,d^2\,e^2\right )}{{\left (c\,f-d\,e\right )}^3\,{\left (c+d\,x\right )}^{m+4}\,\left (m^3+6\,m^2+11\,m+6\right )}+\frac {d^2\,f^2\,x^4\,{\left (e+f\,x\right )}^m\,\left (c\,f\,h-3\,d\,e\,h+2\,d\,f\,g+c\,f\,h\,m-d\,e\,h\,m\right )}{{\left (c\,f-d\,e\right )}^3\,{\left (c+d\,x\right )}^{m+4}\,\left (m^3+6\,m^2+11\,m+6\right )}+\frac {d\,f\,x^3\,{\left (e+f\,x\right )}^m\,\left (4\,c\,f+c\,f\,m-d\,e\,m\right )\,\left (c\,f\,h-3\,d\,e\,h+2\,d\,f\,g+c\,f\,h\,m-d\,e\,h\,m\right )}{{\left (c\,f-d\,e\right )}^3\,{\left (c+d\,x\right )}^{m+4}\,\left (m^3+6\,m^2+11\,m+6\right )} \]
[In]
[Out]